Add diff pref whether the diff table header should be auto hidden Add a new diff preference that allows the user to decide whether the diff table header with the patch set selection should be automatically hidden when scrolling down more than half of a page. At the moment this behaviour cannot be disabled, but some users find it annoying that the header disappears and that they need to scroll up to be able to change the patch set selection. By default the diff table header is automatically hidden as this is the current behaviour. Change-Id: I1d65c5058222c924ccaf3276f7d2d83fac7f4d32 Signed-off-by: Edwin Kempin <edwin.kempin@sap.com> 
diff --git a/Documentation/user-review-ui.txt b/Documentation/user-review-ui.txt index bb1aeef..3d5e418 100644 --- a/Documentation/user-review-ui.txt +++ b/Documentation/user-review-ui.txt 
@@ -1046,6 +1046,11 @@  +  Controls whether the top menu is shown.   +- `Auto Hide Diff Table Header`: ++ +Controls whether the diff table header should be automatically hidden +when scrolling down more than half of a page. +  [[mark-reviewed]]  - `Mark Reviewed`:  +